Archive Verification

Feeds to Scour
SubscribedAll
Scoured 33 posts in 33.5 ms
💰Preservation Economicsdpconline.org·

Vacancy for Digital Preservation and Access Manager at University of the Arts London

Feeds
📦Content Addressablebab-hash.org·

Bab: A hash function for content-addressable storage

Discussed on Hacker News
Feeds
❄️Nordic PreservationPreservica·

Introducing Preservica’s CISO Assurance Series: AI Security and Data Privacy

Feeds
💰Preservation EconomicsICA·

Digital Preservation Awards 2026 Finalists Announced: International Council on Archives Award for Collaboration & Co-operation

Feeds
🌿gitepicgames.github.io·

The Lore Version Control System

Covered by 7 sources See all sources covering this story including DEV Community, theregister
Discussed on Lobsters
Feeds
💻Programming languagesTNW | Artificial-Intelligence·

Pramaana Labs raised $27M to wrap AI in mathematical proof for law, tax, and drug discovery

Feeds
🔓Open Source SoftwareGitHub·

Lore; next gen open source VCS

Covers The Lore Version Control System
Covered by 13 sources See all sources covering this story including DEV Community, Phoronix
Discussed on Hacker News
Feeds
⚡Circuit Designarxiv.org·

HierSVA: A Data Synthesis Pipeline, Dataset, and Benchmark for LLM-Driven Hierarchical Hardware Formal Verification

Feeds
📝Compiler DesignAdrian Sampson·

Advanced Compilers: The Self-Guided Online Course

Covers llvm.org - 20.3 kb
Covered by 3 sources See all sources covering this story including Hacker News, daemonology.net
Discussed on Hacker News
Feeds
💻Programming languagesTechCrunch·

Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI

Covered by SiliconANGLE, AI资讯速览
Feeds
🗜️Archive CompressionTeejeeTech·

Summer 26.06

Feeds
💻Programming languagesDavid Wong·

Looking for a cryptography audit? Here's where to go

Feeds
🧬Bitstream Evolutiondpconline.org·

DPC launches new Technology Watch Guidance Note series on Cyber Security

Feeds
🗄️File SystemsPhoronix·

Linux 7.2 Optimization Shows +5% IOPS For EXT4 & XFS After Moving Around Two Lines Of Code

Covered by XDA
Discussed on Hacker News
Feeds
📚Archive Mathematicspatreon.com·

Bcachefs 1.38.6 - the performance release

Covered by theregister, Linuxiac
Discussed on Hacker News and Lobsters
Feeds
🏺Archaeological ComputingPreservica·

How can construction firms reduce the cost of legacy systems?

Feeds
💿Optical DiscsXDA·

I thought Blu-rays and DVDs were obsolete until I discovered how long they can preserve data

Feeds
🕸️WebAssemblycranelift.dev·

Cranelift

Covers 4 stories See all stories this covers including How do I get started?
Covered by 6 sources See all sources covering this story including Ladybird Browser Posts, foojay
Discussed on Hacker News
Feeds
⚡SMT Applicationsarxiv.org·

ESBMC-PLC: Formal Verification of IEC 61131-3 Ladder Diagram Programs Using SMT-Based Model Checking

Feeds
🗄SIARDexponentialdecay.co.uk·

Why we do this work…

Covers Audacity
Feeds

Keyboard Shortcuts

Navigation

Next / previous post
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Discover
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help